Nuprl Definition : ma-trans
0,22
postcript
pdf
Trans(
M
)(
k
,
v
,
s
,
x
) ==
M
.ef(
k
,
x
,
s
,
v
)?
s
(
x
)
latex
Definitions
x
.
A
(
x
)
,
M
.ef(
k
,
x
,
s
,
v
)?
w
,
f
(
a
)
FDL editor aliases
ma-trans
origin
x.A(x)x.A(x)